Bounded Forgetting
نویسندگان
چکیده
The result of forgetting some predicates in a first-order sentence may not exist in the sense that it might not be captured by any first-order sentences. This, indeed, severely restricts the usage of forgetting in applications. To address this issue, we propose a notion called k-forgetting, also called bounded forgetting in general, for any fixed number k. We present several equivalent characterizations of bounded forgetting and show that the result of bounded forgetting, on one hand, can always be captured by a single first-order sentence, and on the other hand, preserves the information that we are concerned with.
منابع مشابه
Polynomially Bounded Forgetting
Forgetting is one of the most important concepts in logic based problem solving, both from a theoretical and a practical point of view. However, the size of the forgetting result is exponential in worst case. To address this issue, we consider the problem of polynomially bounded forgetting, i.e., when the size of the forgetting result can be expressed polynomially. We coin the notion of polynom...
متن کاملKnowledge forgetting: Properties and applications
In this paper we study a formal notion of knowledge forgetting in S5 modal logic. We propose four postulates and prove that these postulates precisely characterize both semantic and logical properties of knowledge forgetting. We then investigate possible applications of knowledge forgetting in various epistemic reasoning scenarios. In particular, we show that different forms of knowledge update...
متن کاملAsymptotically convergent modified recursive least-squares with data-dependent updating and forgetting factor for systems with bounded noise
Ahstrucf-Continual updating of estimates required by most recursive estimation schemes often involves redundant usage of information and may result in system instabilities in the presence of bounded output disturbances. An algorithm which eliminates these difficulties is investigated. Based on a set theoretic assumption, the algorithm yields modified leastsquares estimates with a forgetting fac...
متن کاملInvestigating the relationship between purposeful organizational forgetting and organizational agility with respect to the moderating role of competitive intelligence
The purpose of this study was to investigate the relationship between purposeful organizational forgetting and organizational agility, with respect to the moderating role of competitive intelligence. The research method is applied in terms of purpose and is a survey in terms of its nature. The statistical population of the research is employees of banks in Kashmar. The data collection method wa...
متن کاملRelationship between Professional Ethics with Learning and Intentional Organizational Forgetting: Mediating Role of Sharing Knowledge
Background: Todays, professional ethics was recommended one of the variables that can effect on another organization perspectives, therefore the aim of present study was to study the correlation of professional ethics with learning and intentional organizational forgetting in staff sport offices in Isfahan province, considering the mediating role of knowledge sharing. Method: This is an applied...
متن کامل